The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·1d·
Discuss: Hacker News
💻Programming languages
Lobsters Interview with Icefox
lobste.rs·11h·
Discuss: Lobsters
💻Programming languages
Show HN: List of Clojure-Like projects
github.com·8h·
Discuss: Hacker News
💻Programming languages
Gödel: The Limits of Logic and the Foundations of Modern Mathematics
quantumzeitgeist.com·1d·
Discuss: Hacker News
🌐Distributed systems
How to Write Inductive Invariants
quint-lang.org·13h·
Discuss: Lobsters, Hacker News, r/programming
🌐Distributed systems
Meta’s AI Boss Just Called LLMs ‘Simplistic’ — Here’s What He’s Building Instead
hackernoon.com·9h
💻Programming languages
Speak, Don't Type
typeless.com·1h·
Discuss: Hacker News
🏹Apache Arrow
The Math Is Haunted
overreacted.io·3d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming
💻Programming languages
A New Governance Model for MCP
blog.modelcontextprotocol.io·1d·
Discuss: Hacker News
🌐Distributed systems
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·1d·
Discuss: Hacker News
💻Programming languages
Hask Is Not a Category
math.andrej.com·2d·
Discuss: Hacker News
💻Programming languages
Formal Inertia
daedeluskite.com·1d·
Discuss: Hacker News
💻Programming languages
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification
harmonic.fun·3d·
Discuss: Hacker News
💻Programming languages
Comprehensive Overview of the Identity Management Ecosystem in 2025
guptadeepak.com·1d·
Discuss: DEV, Hacker News
🔐Security Patterns
How Kimi 2 Became One of the Best Tool-Using Models
dbreunig.com·2d·
Discuss: Hacker News
💻Programming languages
Encoding SAT in OCaml GADTs
farlow.dev·5d·
Discuss: Hacker News
💻Programming languages
Lobsters Interview with Icefox
lobste.rs·11h·
Discuss: Lobsters
💻Programming languages
Computer Networking a Top-Down Approach, 9th Edition
gaia.cs.umass.edu·21h·
Discuss: Hacker News
🌐Distributed systems
Reverse engineering some updates to Claude
simonwillison.net·1d
💻Programming languages
C++ Instrumentation with Memory Sanitizer
systemsandco.dev·23h·
Discuss: Hacker News
🧠Memory Management